大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

Advances in Cryptology - EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings

0
索取号：
作者：Naor、 Moni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings

0
索取号：
作者：Haindl、 Michal.、Kittler、 Josef.、Roli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Analysis and Design of Intelligent Systems using Soft Computing Techniques [electronic resource]

0
索取号：
作者：Melin、 Patricia.、Castillo、 Oscar.、Ram铆rez、 Eduardo Gomez.、Kacprzyk、 Janusz.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

0
索取号：
作者：Hentenryck、 Pascal.、Wolsey、 Laurence.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems [electronic resource] : First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

0
索取号：
作者：Sauveron、 Damien.、Markantonakis、 Konstantinos.、Bilas、 Angelos.、Quisquater、 Jean-Jacques.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamentals of Basin and Petroleum Systems Modeling [electronic resource]

0
索取号：
作者：Kauerauf、 Armin I.、Hantschel、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Earthquake Early Warning Systems [electronic resource]

0
索取号：
作者：Gasparini、 Paolo.、Manfredi、 Gaetano.、Zschau、 Jochen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hyperbolic Systems of Balance Laws [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14鈥ⱬ 2003

0
索取号：
作者：Bressan、 Alberto.、Serre、 Denis.、Williams、 Mark.、Zumbrun、 Kevin.、Marcati、 Pierangelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in 3D Geoinformation Systems [electronic resource]

0
索取号：
作者：Oosterom、 Peter.、Zlatanova、 Sisi.、Penninga、 Friso.、Fendel、 Elfriede M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Business Information Systems [electronic resource] : 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007. Proceedings

0
索取号：
作者：Abramowicz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Schobbens、 Pierre-Yves.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

0
索取号：
作者：Bordini、 Rafael H.、Dastani、 Mehdi.、Dix、 J眉rgen.、Seghrouchni、 Amal El Fallah.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Optical Measurement Techniques [electronic resource] : Innovations for Industry and the Life Sciences

0
索取号：
作者：Peiponen、 Kai-Erik.、Myllyl盲、 Risto.、Priezzhev、 Alexander V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

0
索取号：
作者：Guelfi、 Nicolas.、Buchs、 Didier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.